// 《围棋》作者版权所有。版权所有。
// 此源代码的使用受BSD样式
// 许可证的约束，该许可证可以在许可证文件中找到。

package ssa

// 紧密元组选择器确保元组选择器（Select0、Select1、
// 和SelectN ops）与其元组生成器位于同一块中。
// 函数还确保没有重复的元组选择器。
// 调度程序需要这些属性，但到目前为止，优化管道可能尚未维护这些属性。参见第16741期和第39472期。
func tightenTupleSelectors(f *Func) {
	selectors := make(map[struct {
		id    ID
		which int
	}]*Value)
	for _, b := range f.Blocks {
		for _, selector := range b.Values {
			// 重复数据消除的关键字段
			var tuple *Value
			idx := 0
			switch selector.Op {
			default:
				continue
			case OpSelect1:
				idx = 1
				fallthrough
			case OpSelect0:
				tuple = selector.Args[0]
				if !tuple.Type.IsTuple() {
					f.Fatalf("arg of tuple selector %s is not a tuple: %s", selector.String(), tuple.LongString())
				}
			case OpSelectN:
				tuple = selector.Args[0]
				idx = int(selector.AuxInt)
				if !tuple.Type.IsResults() {
					f.Fatalf("arg of result selector %s is not a results: %s", selector.String(), tuple.LongString())
				}
			}

			// 如果目标块中已有选择器，则使用该选择器。即使选择器已经在
			// 目标块中，也要这样做，以避免重复的元组选择器。
			key := struct {
				id    ID
				which int
			}{tuple.ID, idx}
			if t := selectors[key]; t != nil {
				if selector != t {
					selector.copyOf(t)
				}
				continue
			}

			// 如果选择器位于错误的块中，请将其复制到目标
			// 块中。
			if selector.Block != tuple.Block {
				t := selector.copyInto(tuple.Block)
				selector.copyOf(t)
				selectors[key] = t
				continue
			}

			// 选择器位于目标块中。将其添加到地图中，使其
			// 无法复制。
			selectors[key] = selector
		}
	}
}
